Global consistency checking of distributed models with TReMer

机译：使用TRemer进行分布式模型的全局一致性检查

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Mehrdad Sabetzadeh; Shiva Nejati; Steve Easterbrook; Marsha Chechik;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. CheckFence: checking consistency of concurrent data types on relaxed memory models [J] . Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2007,第6期

机译：CheckFence：检查宽松内存模型上并发数据类型的一致性
2. A general model checking framework for various memory consistency models [J] . Abe Tatsuya, Maeda Toshiyuki International Journal on Software Tools for Technology Transfer . 2017,第5期

机译：用于各种内存一致性模型的通用模型检查框架
3. Checking Consistency of an ABox w.r.t. Global Assumptions in PDL [J] . Linh Anh Nguyen, Andrzej Szaias Fundamenta Informaticae . 2010,第1期

机译：检查ABox的一致性PDL中的全局假设
4. Global Consistency Checking of Distributed Models with TReMer+ [C] . Mehrdad Sabetzadeh, Shiva Nejati, Steve Easterbrook, International Conference on Software Engineering . 2008

机译：具有震颤+的分布式模型的全局一致性检查
5. Merging and consistency checking of distributed models. [D] . Sabetzadeh, Mehrdad. 2008

机译：分布式模型的合并和一致性检查。
6. Using Trait-State Models to Evaluate the Longitudinal Consistency of Global Self-Esteem From Adolescence to Adulthood [O] . M. Brent Donnellan, David A. Kenny, Kali H. Trzesniewski, -1

机译：使用特质模型评估全球自尊从青春期到成年期的纵向一致性
7. Modelling and Model Checking a Distributed Shared Memory Consistency Protocol [O] . Kathi Fisler, Claude Girault 1998

机译：分布式共享内存一致性协议的建模和模型检查

Global consistency checking of distributed models with TReMer

著录项

引文网络

相似文献

相关主题

期刊订阅